\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Strategy}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Test harness}{4}}
